nonvoid proper subset

非空真子集